osdWindow: always round-up sizes when updating allocation

This fixes the OSD window flickering horizontally at certain
resolutions.

https://bugzilla.gnome.org/show_bug.cgi?id=772287

diff --git a/js/ui/osdWindow.js b/js/ui/osdWindow.js
index 432ea9af73095a1ec1f2d91f976cd612ab7b79c2..4c2b00b22fb72cbef26b54ac15096ff3a06d986d 100644 (file)
--- a/js/ui/osdWindow.js
+++ b/js/ui/osdWindow.js
@@ -72,8 +72,8 @@ const OsdWindowConstraint = new Lang.Class({
 
         // Recenter
         let [x, y] = actorBox.get_origin();
-        actorBox.set_origin(Math.floor(x + width / 2 - size / 2),
-                            Math.floor(y + height / 2 - size / 2));
+        actorBox.set_origin(Math.ceil(x + width / 2 - size / 2),
+                            Math.ceil(y + height / 2 - size / 2));
     }
 });